Books by author Ana Cavalcanti

Showing 1 – 13 out of 13 results

1. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   123.22 €

   Sale 7 %

   You save 10.30 €

   Buy
2. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.70 €

   Buy
3. 

   Testing Techniques in Software Engineering

   Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.90 €

   Buy
4. 

   Critical Systems: Formal Methods and Automated Verification

   Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Theoretical Aspects of Computing

   Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.90 €

   Buy
6. 

   Pet chef

   Ana Cavalcanti, Ana Cavalcanti | Independently published, 2023

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   12.40 €

   Sale 10 %

   You save 1.41 €

   Buy
7. 

   The Practice of Formal Methods

   Ana Cavalcanti | Springer Nature Switzerland, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   67.91 €

   Sale 7 %

   You save 5.65 €

   Buy
8. 

   Fundamental Approaches to Software Engineering

   Dirk Beyer, Ana Cavalcanti | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.27 €

   Sale 7 %

   You save 3.43 €

   Buy
9. 

   Pet Chef

   Ana Cavalcanti, Ana Cavalcanti | Independently published, 2023

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: Portuguese

   Binding: Paperback

   14.32 €

   Sale 10 %

   You save 1.64 €

   Buy
10. 

    The Practice of Formal Methods

    Ana Cavalcanti | Springer Nature Switzerland, 2024

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    67.91 €

    Sale 7 %

    You save 5.65 €

    Buy
11. 

    FM 2009: Formal Methods

    Ana Cavalcanti, Dennis Dams | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    109.19 €

    Buy
12. 

    Formal Methods and Software Engineering

    Karin Breitman, Ana Cavalcanti | Springer, Berlin, 2009

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.73 €

    Sale 7 %

    You save 8.61 €

    Buy
13. 

    Theoretical Aspects of Computing - ICTAC 2006

    Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.56 €

    Sale 7 %

    You save 4.27 €

    Buy

You can return within 30 days without giving any reason. Find out more